Nuprl Definition : update-spec-join 11,40
update-spec-join(a; b) == fpf-join(product-deq(Knd; Id; Kind-deq; id-deq); a; b) 
latex

Definitionsfpf-join(eq; f; g), product-deq(A; B; a; b), Knd, Id, Kind-deq, id-deq
FDL editor aliasesupdate-spec-join

origin